[next] [prev] [prev-tail] [tail] [up]

2.2.6 Integrals 501 to 600

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column N.S. in the table below, which stands for normalized size is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To help make the table fit, Mathematica was abbreviated to MMA.

Problem 501

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F A F(-1) A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

160 160 34 54 0 212 0 136 -1

N.S.

1 1.00 0.21 0.34 0.00 1.32 0.00 0.85 -0.01

time (sec)

N/A 0.089 0.028 0.201 0.000 0.372 0.000 6.079 0.000

Problem 502

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F A F(-1) A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

50 50 32 79 0 151 0 38 -1

N.S.

1 1.00 0.64 1.58 0.00 3.02 0.00 0.76 -0.02

time (sec)

N/A 0.023 0.027 0.191 0.000 0.490 0.000 6.361 0.000

Problem 503

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F A F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

68 68 34 97 0 161 0 0 -1

N.S.

1 1.00 0.50 1.43 0.00 2.37 0.00 0.00 -0.01

time (sec)

N/A 0.027 0.028 0.204 0.000 0.379 0.000 0.000 0.000

Problem 504

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F A F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

176 176 34 73 0 171 0 0 -1

N.S.

1 1.00 0.19 0.41 0.00 0.97 0.00 0.00 -0.01

time (sec)

N/A 0.098 0.028 0.207 0.000 0.364 0.000 0.000 0.000

Problem 505

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F A F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

252 252 34 73 0 259 0 0 -1

N.S.

1 1.00 0.13 0.29 0.00 1.03 0.00 0.00 -0.00

time (sec)

N/A 0.159 0.028 0.215 0.000 0.362 0.000 0.000 0.000

Problem 506

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F A A F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

37 37 38 0 43 59 0 0 -1

N.S.

1 1.00 1.03 0.00 1.16 1.59 0.00 0.00 -0.03

time (sec)

N/A 0.026 0.038 0.047 0.482 0.397 0.000 0.000 0.000

Problem 507

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F A F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

38 38 43 0 0 59 0 0 -1

N.S.

1 1.00 1.13 0.00 0.00 1.55 0.00 0.00 -0.03

time (sec)

N/A 0.027 0.066 0.048 0.000 0.358 0.000 0.000 0.000

Problem 508

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

112 112 96 208 74 74 0 0 -1

N.S.

1 1.00 0.86 1.86 0.66 0.66 0.00 0.00 -0.01

time (sec)

N/A 0.029 0.050 0.040 0.320 0.349 0.000 0.000 0.000

Problem 509

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

112 112 70 135 48 48 0 0 -1

N.S.

1 1.00 0.62 1.21 0.43 0.43 0.00 0.00 -0.01

time (sec)

N/A 0.027 0.037 0.044 0.473 0.360 0.000 0.000 0.000

Problem 510

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

99 99 44 64 22 22 0 0 -1

N.S.

1 1.00 0.44 0.65 0.22 0.22 0.00 0.00 -0.01

time (sec)

N/A 0.021 0.024 0.025 0.457 0.419 0.000 0.000 0.000

Problem 511

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

90 90 47 71 32 24 0 0 -1

N.S.

1 1.00 0.52 0.79 0.36 0.27 0.00 0.00 -0.01

time (sec)

N/A 0.030 0.039 0.029 0.538 0.366 0.000 0.000 0.000

Problem 512

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

48 48 40 37 41 41 0 0 -1

N.S.

1 1.00 0.83 0.77 0.85 0.85 0.00 0.00 -0.02

time (sec)

N/A 0.018 0.040 0.026 0.414 0.338 0.000 0.000 0.000

Problem 513

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

88 88 40 37 69 69 0 0 -1

N.S.

1 1.00 0.45 0.42 0.78 0.78 0.00 0.00 -0.01

time (sec)

N/A 0.036 0.047 0.034 0.529 0.343 0.000 0.000 0.000

Problem 514

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

88 88 40 37 97 97 0 0 -1

N.S.

1 1.00 0.45 0.42 1.10 1.10 0.00 0.00 -0.01

time (sec)

N/A 0.036 0.048 0.032 0.405 0.369 0.000 0.000 0.000

Problem 515

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

108 108 55 132 47 57 0 173 -1

N.S.

1 1.00 0.51 1.22 0.44 0.53 0.00 1.60 -0.01

time (sec)

N/A 0.031 0.035 0.048 0.315 0.364 0.000 3.826 0.000

Problem 516

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

93 93 46 61 25 28 0 53 -1

N.S.

1 1.00 0.49 0.66 0.27 0.30 0.00 0.57 -0.01

time (sec)

N/A 0.020 0.027 0.036 0.334 0.369 0.000 5.889 0.000

Problem 517

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

93 93 46 61 25 28 0 53 -1

N.S.

1 1.00 0.49 0.66 0.27 0.30 0.00 0.57 -0.01

time (sec)

N/A 0.017 0.023 0.020 0.303 0.348 0.000 3.895 0.000

Problem 518

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

88 88 39 56 19 20 0 25 -1

N.S.

1 1.00 0.44 0.64 0.22 0.23 0.00 0.28 -0.01

time (sec)

N/A 0.012 0.008 0.018 0.295 0.367 0.000 5.674 0.000

Problem 519

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

85 85 38 54 13 15 0 0 -1

N.S.

1 1.00 0.45 0.64 0.15 0.18 0.00 0.00 -0.01

time (sec)

N/A 0.018 0.017 0.034 0.330 0.361 0.000 0.000 0.000

Problem 520

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

94 94 42 61 22 23 0 0 -1

N.S.

1 1.00 0.45 0.65 0.23 0.24 0.00 0.00 -0.01

time (sec)

N/A 0.022 0.026 0.023 0.271 0.385 0.000 0.000 0.000

Problem 521

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

96 96 47 61 22 23 0 0 -1

N.S.

1 1.00 0.49 0.64 0.23 0.24 0.00 0.00 -0.01

time (sec)

N/A 0.020 0.028 0.024 0.275 0.420 0.000 0.000 0.000

Problem 522

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

238 238 90 532 276 390 0 2719 -1

N.S.

1 1.00 0.38 2.24 1.16 1.64 0.00 11.42 -0.00

time (sec)

N/A 0.070 0.091 0.049 0.297 0.392 0.000 5.529 0.000

Problem 523

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

212 212 123 146 108 144 0 292 -1

N.S.

1 1.00 0.58 0.69 0.51 0.68 0.00 1.38 -0.00

time (sec)

N/A 0.045 0.070 0.036 0.311 0.351 0.000 4.617 0.000

Problem 524

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

211 211 124 145 109 145 0 292 -1

N.S.

1 1.00 0.59 0.69 0.52 0.69 0.00 1.38 -0.00

time (sec)

N/A 0.041 0.058 0.023 0.284 0.357 0.000 2.966 0.000

Problem 525

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

206 206 122 138 101 130 0 263 -1

N.S.

1 1.00 0.59 0.67 0.49 0.63 0.00 1.28 -0.00

time (sec)

N/A 0.035 0.072 0.021 0.316 0.406 0.000 7.472 0.000

Problem 526

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

196 196 67 127 43 44 0 0 -1

N.S.

1 1.00 0.34 0.65 0.22 0.22 0.00 0.00 -0.01

time (sec)

N/A 0.035 0.040 0.021 0.286 0.367 0.000 0.000 0.000

Problem 527

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

212 212 124 147 101 131 0 0 -1

N.S.

1 1.00 0.58 0.69 0.48 0.62 0.00 0.00 -0.00

time (sec)

N/A 0.048 0.079 0.023 0.323 0.370 0.000 0.000 0.000

Problem 528

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

218 218 124 145 101 134 0 0 -1

N.S.

1 1.00 0.57 0.67 0.46 0.61 0.00 0.00 -0.00

time (sec)

N/A 0.050 0.082 0.025 0.298 0.376 0.000 0.000 0.000

Problem 529

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

76 76 62 0 0 0 0 0 -1

N.S.

1 1.00 0.82 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.027 0.035 0.011 0.000 0.000 0.000 0.000 0.000

Problem 530

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

64 64 53 0 0 0 0 0 -1

N.S.

1 1.00 0.83 0.00 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.019 0.029 0.007 0.000 0.000 0.000 0.000 0.000

Problem 531

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

64 64 53 0 0 0 0 0 -1

N.S.

1 1.00 0.83 0.00 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.015 0.019 0.009 0.000 0.000 0.000 0.000 0.000

Problem 532

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

55 55 44 0 0 0 0 0 -1

N.S.

1 1.00 0.80 0.00 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.012 0.017 0.008 0.000 0.000 0.000 0.000 0.000

Problem 533

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

85 85 45 66 27 22 0 0 -1

N.S.

1 1.00 0.53 0.78 0.32 0.26 0.00 0.00 -0.01

time (sec)

N/A 0.024 0.031 0.021 0.280 0.400 0.000 0.000 0.000

Problem 534

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

65 65 51 0 0 0 0 0 -1

N.S.

1 1.00 0.78 0.00 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.017 0.027 0.007 0.000 0.000 0.000 0.000 0.000

Problem 535

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

67 67 53 0 0 0 0 0 -1

N.S.

1 1.00 0.79 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.017 0.026 0.008 0.000 0.000 0.000 0.000 0.000

Problem 536

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

76 76 61 0 0 0 0 0 -1

N.S.

1 1.00 0.80 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.025 0.035 0.009 0.000 0.000 0.000 0.000 0.000

Problem 537

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

64 64 55 0 0 0 0 0 -1

N.S.

1 1.00 0.86 0.00 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.018 0.034 0.004 0.000 0.000 0.000 0.000 0.000

Problem 538

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

64 64 55 0 0 0 0 0 -1

N.S.

1 1.00 0.86 0.00 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.015 0.023 0.004 0.000 0.000 0.000 0.000 0.000

Problem 539

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

57 57 46 0 0 0 0 0 -1

N.S.

1 1.00 0.81 0.00 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.011 0.019 0.003 0.000 0.000 0.000 0.000 0.000

Problem 540

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

159 159 79 104 70 106 0 0 -1

N.S.

1 1.00 0.50 0.65 0.44 0.67 0.00 0.00 -0.01

time (sec)

N/A 0.055 0.075 0.023 0.286 0.344 0.000 0.000 0.000

Problem 541

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

65 65 53 0 0 0 0 0 -1

N.S.

1 1.00 0.82 0.00 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.020 0.030 0.004 0.000 0.000 0.000 0.000 0.000

Problem 542

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

67 67 55 0 0 0 0 0 -1

N.S.

1 1.00 0.82 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.019 0.030 0.005 0.000 0.000 0.000 0.000 0.000

Problem 543

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F A F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

52 52 58 0 0 79 0 0 -1

N.S.

1 1.00 1.12 0.00 0.00 1.52 0.00 0.00 -0.02

time (sec)

N/A 0.014 0.048 0.030 0.000 0.367 0.000 0.000 0.000

Problem 544

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

43 43 32 51 0 45 0 0 -1

N.S.

1 1.00 0.74 1.19 0.00 1.05 0.00 0.00 -0.02

time (sec)

N/A 0.009 0.054 0.074 0.000 0.441 0.000 0.000 0.000

Problem 545

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F A F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

130 130 80 0 0 103 0 0 -1

N.S.

1 1.00 0.62 0.00 0.00 0.79 0.00 0.00 -0.01

time (sec)

N/A 0.037 0.119 0.030 0.000 0.375 0.000 0.000 0.000

Problem 546

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F A F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

102 102 59 0 0 82 0 0 -1

N.S.

1 1.00 0.58 0.00 0.00 0.80 0.00 0.00 -0.01

time (sec)

N/A 0.029 0.051 0.028 0.000 0.371 0.000 0.000 0.000

Problem 547

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F A F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

117 124 75 0 0 165 0 0 -1

N.S.

1 1.06 0.64 0.00 0.00 1.41 0.00 0.00 -0.01

time (sec)

N/A 0.044 0.074 0.026 0.000 0.406 0.000 0.000 0.000

Problem 548

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A A F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

103 103 54 148 59 78 0 0 -1

N.S.

1 1.00 0.52 1.44 0.57 0.76 0.00 0.00 -0.01

time (sec)

N/A 0.042 0.048 0.083 0.303 0.350 0.000 0.000 0.000

Problem 549

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

111 111 97 973 0 353 0 0 -1

N.S.

1 1.00 0.87 8.77 0.00 3.18 0.00 0.00 -0.01

time (sec)

N/A 0.084 0.216 0.111 0.000 0.386 0.000 0.000 0.000

Problem 550

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

87 87 82 664 0 285 0 0 -1

N.S.

1 1.00 0.94 7.63 0.00 3.28 0.00 0.00 -0.01

time (sec)

N/A 0.053 0.147 0.086 0.000 0.388 0.000 0.000 0.000

Problem 551

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

68 68 66 402 0 231 0 0 -1

N.S.

1 1.00 0.97 5.91 0.00 3.40 0.00 0.00 -0.01

time (sec)

N/A 0.035 0.091 0.070 0.000 0.362 0.000 0.000 0.000

Problem 552

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

39 39 43 113 0 159 0 39 39

N.S.

1 1.00 1.10 2.90 0.00 4.08 0.00 1.00 1.00

time (sec)

N/A 0.023 0.055 0.060 0.000 0.353 0.000 4.308 1.467

Problem 553

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

98 98 90 658 0 333 0 0 -1

N.S.

1 1.00 0.92 6.71 0.00 3.40 0.00 0.00 -0.01

time (sec)

N/A 0.087 0.196 0.143 0.000 0.377 0.000 0.000 0.000

Problem 554

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

126 126 115 958 0 429 0 0 -1

N.S.

1 1.00 0.91 7.60 0.00 3.40 0.00 0.00 -0.01

time (sec)

N/A 0.117 0.345 0.119 0.000 0.393 0.000 0.000 0.000

Problem 555

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

164 164 147 1300 0 522 0 0 -1

N.S.

1 1.00 0.90 7.93 0.00 3.18 0.00 0.00 -0.01

time (sec)

N/A 0.159 0.286 0.135 0.000 0.360 0.000 0.000 0.000

Problem 556

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F B F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

353 353 62 280 0 4426 0 0 -1

N.S.

1 1.00 0.18 0.79 0.00 12.54 0.00 0.00 -0.00

time (sec)

N/A 0.345 0.134 0.488 0.000 0.625 0.000 0.000 0.000

Problem 557

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F B F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

610 610 62 260 0 4699 0 0 -1

N.S.

1 1.00 0.10 0.43 0.00 7.70 0.00 0.00 -0.00

time (sec)

N/A 0.712 0.115 0.311 0.000 0.607 0.000 0.000 0.000

Problem 558

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F B F(-1) B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

169 169 60 114 0 801 0 1035 -1

N.S.

1 1.00 0.36 0.67 0.00 4.74 0.00 6.12 -0.01

time (sec)

N/A 0.127 0.111 0.148 0.000 0.363 0.000 6.500 0.000

Problem 559

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F B F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

205 205 105 268 0 1229 0 0 -1

N.S.

1 1.00 0.51 1.31 0.00 6.00 0.00 0.00 -0.00

time (sec)

N/A 0.269 0.134 0.233 0.000 0.412 0.000 0.000 0.000

Problem 560

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F B F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

699 699 107 534 0 6279 0 0 -1

N.S.

1 1.00 0.15 0.76 0.00 8.98 0.00 0.00 -0.00

time (sec)

N/A 0.928 0.141 0.495 0.000 1.740 0.000 0.000 0.000

Problem 561

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F B F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

414 414 105 630 0 5712 0 0 -1

N.S.

1 1.00 0.25 1.52 0.00 13.80 0.00 0.00 -0.00

time (sec)

N/A 0.518 0.141 0.773 0.000 0.978 0.000 0.000 0.000

Problem 562

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

140 140 265 0 0 0 0 0 -1

N.S.

1 1.00 1.89 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.081 0.496 0.019 0.000 0.000 0.000 0.000 0.000

Problem 563

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

136 136 263 0 0 0 0 0 -1

N.S.

1 1.00 1.93 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.027 0.425 0.016 0.000 0.000 0.000 0.000 0.000

Problem 564

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

124 124 261 0 0 0 0 0 -1

N.S.

1 1.00 2.10 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.045 0.392 0.013 0.000 0.000 0.000 0.000 0.000

Problem 565

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A B F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

74 74 72 397 0 259 362 0 224

N.S.

1 1.00 0.97 5.36 0.00 3.50 4.89 0.00 3.03

time (sec)

N/A 0.044 0.131 0.066 0.000 0.378 28.262 0.000 1.608

Problem 566

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

142 142 240 0 0 0 0 0 -1

N.S.

1 1.00 1.69 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.031 0.314 0.017 0.000 0.000 0.000 0.000 0.000

Problem 567

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

140 140 258 0 0 0 0 0 -1

N.S.

1 1.00 1.84 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.032 0.342 0.021 0.000 0.000 0.000 0.000 0.000

Problem 568

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

148 148 365 0 0 0 0 0 -1

N.S.

1 1.00 2.47 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.126 0.558 0.005 0.000 0.000 0.000 0.000 0.000

Problem 569

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

148 148 366 0 0 0 0 0 -1

N.S.

1 1.00 2.47 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.111 0.519 0.003 0.000 0.000 0.000 0.000 0.000

Problem 570

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

148 148 364 0 0 0 0 0 -1

N.S.

1 1.00 2.46 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.084 0.467 0.003 0.000 0.000 0.000 0.000 0.000

Problem 571

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

139 139 351 0 0 0 0 0 -1

N.S.

1 1.00 2.53 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.067 0.459 0.003 0.000 0.000 0.000 0.000 0.000

Problem 572

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

119 119 113 125 0 658 0 0 -1

N.S.

1 1.00 0.95 1.05 0.00 5.53 0.00 0.00 -0.01

time (sec)

N/A 0.066 0.260 0.099 0.000 0.412 0.000 0.000 0.000

Problem 573

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

149 149 365 0 0 0 0 0 -1

N.S.

1 1.00 2.45 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.108 0.476 0.003 0.000 0.000 0.000 0.000 0.000

Problem 574

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

151 151 365 0 0 0 0 0 -1

N.S.

1 1.00 2.42 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.111 0.444 0.003 0.000 0.000 0.000 0.000 0.000

Problem 575

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

149 149 518 0 0 0 0 0 -1

N.S.

1 1.00 3.48 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.117 1.019 0.004 0.000 0.000 0.000 0.000 0.000

Problem 576

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

149 149 524 0 0 0 0 0 -1

N.S.

1 1.00 3.52 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.116 1.026 0.005 0.000 0.000 0.000 0.000 0.000

Problem 577

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

149 149 520 0 0 0 0 0 -1

N.S.

1 1.00 3.49 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.093 1.020 0.004 0.000 0.000 0.000 0.000 0.000

Problem 578

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

140 140 513 0 0 0 0 0 -1

N.S.

1 1.00 3.66 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.073 1.053 0.003 0.000 0.000 0.000 0.000 0.000

Problem 579

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

173 173 159 209 0 827 0 0 -1

N.S.

1 1.00 0.92 1.21 0.00 4.78 0.00 0.00 -0.01

time (sec)

N/A 0.113 0.626 0.104 0.000 0.455 0.000 0.000 0.000

Problem 580

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

150 150 526 0 0 0 0 0 -1

N.S.

1 1.00 3.51 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.119 1.006 0.003 0.000 0.000 0.000 0.000 0.000

Problem 581

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

152 152 520 0 0 0 0 0 -1

N.S.

1 1.00 3.42 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.117 1.028 0.003 0.000 0.000 0.000 0.000 0.000

Problem 582

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

148 148 175 0 0 0 0 0 -1

N.S.

1 1.00 1.18 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.109 0.156 0.007 0.000 0.000 0.000 0.000 0.000

Problem 583

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

148 148 175 0 0 0 0 0 -1

N.S.

1 1.00 1.18 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.104 0.136 0.007 0.000 0.000 0.000 0.000 0.000

Problem 584

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

148 148 175 0 0 0 0 0 -1

N.S.

1 1.00 1.18 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.083 0.142 0.008 0.000 0.000 0.000 0.000 0.000

Problem 585

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

139 139 166 0 0 0 0 0 -1

N.S.

1 1.00 1.19 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.059 0.103 0.007 0.000 0.000 0.000 0.000 0.000

Problem 586

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

47 47 46 0 0 148 0 0 -1

N.S.

1 1.00 0.98 0.00 0.00 3.15 0.00 0.00 -0.02

time (sec)

N/A 0.024 0.121 0.008 0.000 0.355 0.000 0.000 0.000

Problem 587

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

149 149 173 0 0 0 0 0 -1

N.S.

1 1.00 1.16 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.103 0.150 0.011 0.000 0.000 0.000 0.000 0.000

Problem 588

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

151 151 175 0 0 0 0 0 -1

N.S.

1 1.00 1.16 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.109 0.147 0.007 0.000 0.000 0.000 0.000 0.000

Problem 589

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

151 151 398 0 0 0 0 0 -1

N.S.

1 1.00 2.64 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.111 0.676 0.007 0.000 0.000 0.000 0.000 0.000

Problem 590

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

151 151 398 0 0 0 0 0 -1

N.S.

1 1.00 2.64 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.112 0.633 0.008 0.000 0.000 0.000 0.000 0.000

Problem 591

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

151 151 398 0 0 0 0 0 -1

N.S.

1 1.00 2.64 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.083 0.615 0.006 0.000 0.000 0.000 0.000 0.000

Problem 592

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

142 142 384 0 0 0 0 0 -1

N.S.

1 1.00 2.70 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.065 0.685 0.007 0.000 0.000 0.000 0.000 0.000

Problem 593

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

98 98 98 0 0 449 0 0 -1

N.S.

1 1.00 1.00 0.00 0.00 4.58 0.00 0.00 -0.01

time (sec)

N/A 0.052 0.630 0.009 0.000 0.456 0.000 0.000 0.000

Problem 594

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

152 152 395 0 0 0 0 0 -1

N.S.

1 1.00 2.60 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.109 0.594 0.009 0.000 0.000 0.000 0.000 0.000

Problem 595

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

154 154 399 0 0 0 0 0 -1

N.S.

1 1.00 2.59 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.114 0.602 0.007 0.000 0.000 0.000 0.000 0.000

Problem 596

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A B F(-2) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

182 182 137 3798 273 2303 0 25656 1734

N.S.

1 1.00 0.75 20.87 1.50 12.65 0.00 140.97 9.53

time (sec)

N/A 0.111 0.559 0.081 0.297 0.501 0.000 3.747 2.156

Problem 597

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

117 117 86 1065 152 706 12124 5454 543

N.S.

1 1.00 0.74 9.10 1.30 6.03 103.62 46.62 4.64

time (sec)

N/A 0.051 0.162 0.050 0.300 0.374 142.979 3.701 1.617

Problem 598

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

58 58 41 205 65 142 1091 557 83

N.S.

1 1.00 0.71 3.53 1.12 2.45 18.81 9.60 1.43

time (sec)

N/A 0.018 0.078 0.051 0.285 0.358 18.635 3.738 1.406

Problem 599

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

175 175 307 0 0 0 0 0 -1

N.S.

1 1.00 1.75 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.132 0.640 0.011 0.000 0.000 0.000 0.000 0.000

Problem 600

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

328 328 1890 0 0 0 0 0 -1

N.S.

1 1.00 5.76 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.680 4.361 0.012 0.000 0.000 0.000 0.000 0.000

[next] [prev] [prev-tail] [front] [up]